21. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
22. Dynamic Syntax: the flow of language understanding
پدیدآورنده : Kempson, Ruth M.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Syntax ، Grammar, Comparative and general,، Linguistic analysis )Linguistics(
رده :
P
291
.
K38
2001
23. Dynamic syntax : the flow of language understanding
پدیدآورنده : Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
موضوع : Grammar, Comparative and general -- Syntax,Linguistic analysis (Linguistics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
24. Elementary Logics: A Procedural Perspective
پدیدآورنده : / Dov Gabbay
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer Science,Logic, Symbolic and Mathematical
رده :
QA76
.
G223
1998
25. Elements of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
26. Elements of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
27. Extensions of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
28. Extensions of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
29. Extensions of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
30. Fibring logics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
1999
31. Fibring logics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
32. General Philosophy of Science
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Philosophy and Science. ;
33. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
34. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
35. Greek, Indian and Arabic Logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic ; History. ;
36. Handbook Of The History Of Logic
پدیدآورنده : /Edited By Dov M. Gabbay
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
37. Handbook of Defeasible Reasoning and Uncertainty Management Systems.
پدیدآورنده : Dov M Gabbay
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
رده :
Q375
.
D686
2010
38. Handbook of Logic in Computer Science
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
39. Handbook of Philosophical Logic
پدیدآورنده : edited by Dov M. Gabbay, Franz Guenthner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Philosophy
40. Handbook of Philosophical Logic
پدیدآورنده : / Dov M. Gabbay, Franz Guenthner
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY&ENGINEERING, ELECTRICAL
رده :
E-BOOK
